00100	<PREDIC>::= ANCESTRY =>ANCESTRY
00110		::= NONE => NONE
00120		::= VINE => VINE
00140		::= UNIT => UNIT
00200		::= P1 => ALLPOS
00300		::= P2=>ALLNEG
00400		::=SUPPORT[<C>] =>(SUPPORT . C)
00450	::= DEPTH[<NUMBER>] =>(GREATERP(DEPTH(CDR C)) NUMBER)
00475	::= LENGTH[<NUMBER>] =>(GREATERP(LENGTH(CDR C))NUMBER)
00500		::=MODEL[<PREDLST>;<PREDLST1>] =>(MODEL PREDLST PREDLST1)
00550		::=EQUALITY[<OP>,<NUMBER>] =>(EQUALITY OP  NUMBER)
00562	
00575		::=DEMOD[<CLAUSES>,<NUMBER>] =>(DEMOD CLAUSES NUMBER)
00600		::=DEFMODEL[ID] => (DEFMODEL . ID)
00700		::=@<LISPR> => LISPR
00800		::= <TERM0><OPR><TERM> =>(OPR TERM0 TERM)
00900	
01000	<PREDLST1> ::= <PREDLST> =>*
01100	
01200	<PREDLST> ::= <ID>,<PREDLST> => (ID . PREDLST)
01300		::= <ID> => ID
01400		::= 	=> NIL
01500	
01600	END